integral_0^(1/sqrt(2)) (2*(sqrt(2)+2x+sqrt(2)x^2-sqrt(2)x^4-2x^5-sqrt(2)x^6)/(1-x^8))